ar X iv : m at h / 05 03 30 1 v 2 [ m at h . C T ] 9 S ep 2 00 5 Coherence of Proof - Net Categories

نویسنده

  • Zoran Petrić
چکیده

The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly’s and Mac Lane’s coherence theorem for symmetric monoidal closed categories. A coherence theorem with respect to these graphs is proved for proof-net categories. Such a coherence theorem is also proved in the presence of arrows corresponding to the mix principle of linear logic. The notion of proof-net category catches the unit free fragment of the notion of star-autonomous category, a special kind of symmetric monoidal closed category. Mathematics Subject Classification (2000): 03F07, 03F52, 18D10, 18D15, 19D23

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : m at h / 05 03 30 6 v 1 [ m at h . C T ] 1 5 M ar 2 00 5 Coherence for Star - Autonomous Categories

This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly’s and Mac Lane’s coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail. Mathematics Subject Classification (2000): 03F05, 03F52, 18D10, 18D15, 19D23

متن کامل

ar X iv : h ep - p h / 03 05 16 5 v 1 1 5 M ay 2 00 3 The rise and fall of F 2 at low x

A short personal account is given of the impact of HERA data and the influence of Jan Kwiecinski on low x physics.

متن کامل

ar X iv : h ep - t h / 06 03 12 5 v 1 1 5 M ar 2 00 6 hep - th / 0603125 ITP – UH – 05 / 06 Noncommutative Instantons on C

We construct explicit solutions of the Hermitian Yang-Mills equations on the noncommutative space C θ . In the commutative limit they coincide with the standard instantons on CP written in local coordinates.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005